Hierarchical Verification of Speculative Beams for Accelerating LLM Inference
arxiv.org·4h
💻Local LLMs
How To Solve Every Programming Problem
blog.codeminer42.com·13h
📐Interval Arithmetic
libsemigroups: C++ library for semigroups and monoids
github.com·2d·
Discuss: Hacker News, r/cpp
🧮Algebraic Datatypes
An easy-to-implement, arena-friendly hash map
nullprogram.com·11h·
Discuss: Lobsters
🔐Hash Functions
Three challenges in machine-based reasoning
amazon.science·1d·
Discuss: Hacker News
🧮Theorem Proving
SAT Requires Exhaustive Search
link.springer.com·2d·
Discuss: Hacker News
🧮Kolmogorov Complexity
My blog on zero-knowledge cryptography
kaw101010.github.io·8h·
Discuss: Hacker News
🔐Quantum Security
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·3d·
Discuss: Hacker News
💧Liquid Types
Build a Command-Line Tool for Skyline Queries in Golang
hackernoon.com·1d
🧠Query Planners
Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
arxiv.org·4h
🦀Rust Macros
**Automated Generative Design Optimization via Hyperdimensional Feature Mapping and Bayesian Reinforcement Learning**
dev.to·2h·
Discuss: DEV
✨Effect Handlers
p-fast trie, but smaller
dotat.at·15h·
Discuss: Hacker News
🌳Trie Structures
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·2d
⚗️Algebraic Coding
Why Computer Science Is No Good, Redux
cacm.acm.org·1d
🎯Performance Proofs
Python performance myths and fairy tales
lwn.net·1d·
Discuss: Lobsters, Hacker News
💻Programming languages
Automating Boundary Filling in Cubical Type Theories
arxiv.org·3d
🔶Cubical Type Theory
The Christofides Algorithm
alon.kr·1d·
Discuss: Hacker News
🕸️Graph Algorithms
Simple URL Shortener – 95% AI-Generated (Claude via Windsurf)
reddit.com·3h·
Discuss: r/golang
⬆️Lambda Lifting
Relative Completeness of Incorrectness Separation Logic
arxiv.org·2d
🧠Separation Logic
Big O vs Hardware: Better Complexity ≠ Better Performance
blog.codingconfessions.com·3d·
Discuss: Hacker News
🔢Bitwise Algorithms